process calculusの例文

• Can we achieve the same economy for a process calculus?
• This stems from the fact that the-calculus is a value-passing process calculus.
• The join-calculus programming language is a new language based on the join-calculus process calculus.
• More recent additions to the process calculus family, such as the Actor event diagrams, have also been developed to describe the behavior of concurrent systems.
• NASA has recently discussed using a combination of Communicating Stream X-Machines and the process calculus WSCSS in the design and testing of " swarm satellite " systems.
• McMillan, 477 U . S ., at 92 ( perceiving no difference in the due process calculus depending upon whether consideration of the sentencing factor was discretionary or mandatory ).
• C . A . R . Hoare's Communicating Sequential Processes ( CSP ) first appeared in 1978, and was subsequently developed into a full-fledged process calculus during the early 1980s.
• The project initially began as an implementation of the SOCK process calculus, a formal model proposed by Claudio Guidi et al . at the University of Bologna inspired by the application containment, and web programming.
• The groundbreaking work ( that initially used the ?-calculus, a process calculus ) was later taken over by IBM Cambridge in the UK ( Luca Cardelli ) that developed SPiM ( Stochastic Pi Calculus Machine ).
• LOTOS is an algebraic language that consists of two parts : a part for the description of data and operations, based on abstract data types, and a part for the description of concurrent processes, based on process calculus.
• In contrast to Solidity, however, Rholang is a reflective programming language, based on process calculus, allowing for the parallel execution of processes and the composition of higher-ordered smart contracts on the basis of lower ones.
• Bunched logic has been used in connection with the ( synchronous ) resource-process calculus SCRP in order to give a ( modal ) logic which characterizes, in the sense of Hennessey-Milner, the compositional structure of concurrent systems.
• Channels are fundamental to the process calculus approach to concurrency, and originated in communicating sequential processes ( CSP ), a formal model for concurrency, and has been used in many derived languages, such as occam, and Limbo programming language ( via Newsqueak and the Alef programming language ).
• The "'join-calculus "'is a process calculus developed at INRIA . The join-calculus was developed to provide a formal basis for the design of distributed programming languages, and therefore intentionally avoids communications constructs found in other process calculi, such as ?-calculus.
• Calculus has historically been called " the calculus of infinitesimals ", or " infinitesimal calculus " . " Calculus " ( plural " calculi " ) is also used for naming some methods of calculation or theories of computation, such as propositional calculus, calculus of variations, lambda calculus, and process calculus.